Nuprl Definition : bool-deq
11,40
postcript
pdf
BoolDeq == <
a
,
b
.
a
=b
b
, TERMOF{
bool-deq-aux
:ObjectId, 1:l}>
latex
Definitions
<
a
,
b
>
,
x
.
A
(
x
)
,
p
=b
q
,
bool-deq-aux
FDL editor aliases
bool-deq
origin
a,b. a =b b, TERMOF{bool-deq-aux:ObjectId, 1:l}> a,b. a =b b, TERMOF{bool-deq-aux:ObjectId, 1:l}> x.A(x)